  using Progress.Lang.*.
  class Y inherits X:
    constructor public Y():
    end constructor.
  end class.
